Algorithm engineering - PDFSEARCH.IO - Document Search Engine

Algorithm engineering
Results: 1680

#	Item
601	Computational effects in computable and formalized mathematics (EFFMATH) Project summary Andrej Bauer Faculty of Mathematics and Physics University of Ljubljana Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-11-22 07:09:08 Computing Mathematical constructivism Realizability Functional programming Computer science Monad Algorithm Ludics Software engineering Mathematical logic Mathematics
602	A genetic and source-to-source approach to iterative compilation Serge Guelton, Institut T´el´ecom, T´el´ecom Bretagne, France Classical optimization Cycle Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-06-21 05:22:52 Subroutines Compiler optimizations C++ Inline expansion Program optimization Main function Greedy algorithm Software engineering Computer programming Computing
603	CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models ∗ Sebastian Burckhardt Rajeev Alur Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-03-26 08:41:48 Computer memory Concurrent computing Memory management Transaction processing Memory barrier Non-blocking algorithm C dynamic memory allocation Linearizability Priority queue Computing Software engineering Concurrency control
604	How Different Electrical Circuits of ECC Designs Influence the Shape of Power Traces measured on FPGA Thomas Basmer, Christian Wittke, Zoya Dyka, and Peter Langendoerfer System dept., IHP, Im Technologiepark 25, Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-12-19 03:59:09 Fabless semiconductor companies Reconfigurable computing Xilinx Field-programmable gate array Elliptic curve cryptography Power analysis Multiplication algorithm Multiplication Side channel attack Electronic engineering Mathematics Electronics
605	CoCo Seminar Series Spring 2015 Distributed Energy Management Algorithms in Future Power Systems Dr. Ziang (John) Zhang Add to Reading List Source URL: coco.binghamton.edu Language: English - Date: 2015-02-06 21:55:31 Technology Smart grid Electromagnetism Electrical grid Distributed algorithm Distributed generation Multi-agent system Electrical engineering Electric power transmission systems Energy Electric power distribution
606	GENETIC PROGRAMMING THEORY AND PRACTICE X GENETIC PROGRAMMING THEORY AND PRACTICE X Add to Reading List Source URL: juxi.net Language: English - Date: 2012-10-18 09:52:37 Operations research Programming language theory Software engineering Computing ALGOL 68 Genetic algorithm Mathematical optimization Evolutionary algorithms Genetic programming
607	The Weakness of Integrity Protection for LTE Teng Wu and Guang Gong Department of Electrical and Computer Engineering University of Waterloo Waterloo, ON N2L 3G1, Canada {teng.wu, ggong}@uwaterloo.ca Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-12-11 11:12:53 Finite fields Stream ciphers CBC-MAC Block cipher CMAC Classical cipher Keystream Cryptographic hash function Symmetric-key algorithm Cryptography Message authentication codes Block cipher modes of operation
608	CoCo Seminar Series Spring 2015 Computational Sustainability: A Dynamic Game Approach Dr. Sung Hoon Chung Systems Science and Industrial Engineering Add to Reading List Source URL: coco.binghamton.edu Language: English - Date: 2015-03-19 23:21:32 Mathematics Sustainable development Environmental social science Mathematical optimization Operations research Computational Sustainability Numerical analysis Algorithm Computational science Science Applied mathematics
609	Nearest Neighbor Search: the Old, the New, and the Impossible by Alexandr Andoni Submitted to the Department of Electrical Engineering and Computer Science Add to Reading List Source URL: www.mit.edu Language: English - Date: 2009-09-10 17:03:04 Theoretical computer science K-nearest neighbor algorithm Nearest neighbor search Algorithm Time complexity Locality-sensitive hashing Information science Mathematics Search algorithms
610	Approximate Evaluation of Range Nearest Neighbor Queries with Quality Guarantee? Chi-Yin Chow1 , Mohamed F. Mokbel1 , Joe Naps1 , and Suman Nath2 1 Department of Computer Science and Engineering, University of Minnesota Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2009-09-29 10:22:42 Mathematics Computational geometry Voronoi diagram Search algorithms K-nearest neighbor algorithm Range searching Centroidal Voronoi tessellation Diagrams Discrete geometry Geometry

UPDATE